- морфизм категории
- categorical morphism мат.
Русско-английский научно-технический словарь Масловского. 2015.
морфизм категории
Look at other dictionaries:
МОРФИЗМ — категории термин, используемый для обозначения элементов произвольной категории, играющих роль отображений множеств друг в друга, гомоморфизмов групп, колец, алгебр, непрерывных отображений топологич. пространств и т. п. М. категории… … Математическая энциклопедия
Морфизм — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
СОБСТВЕННЫЙ МОРФИЗМ — морфизм схем, отделимый, универсально замкнутый и имеющий конечный тип. Морфизм схем f : наз. замкнутым, если для любого замкнутого множество f(Z) замкнуто в Y, и универсально замкнутым, если для любой замены базы замкнут морфизм Свойство быть С … Математическая энциклопедия
Объект категории — У этого термина существуют и другие значения, см. Объект. Объект категории неопределяемое понятие теории категорий. Термин, используемый для обозначения элементов произвольной категории, играющих роль множеств, групп, топологических… … Википедия
Функторный морфизм — Естественное преобразование (функторный морфизм) одно из основных понятий теории категорий. Если S и T ковариантные функторы из категории в , то отображение, при котором каждому объекту C категории соответствует морфизм категории … Википедия
ФУНКТОРНЫЙ МОРФИЗМ — аналог понятия гомоморфизма (левых) модулей с общим кольцом скаляров (роль кольца при этом играет область определения функторов, а сами функторы играют роль модулей). Пусть F1 и F2 одноместные крвариантные функторы из категории в категорию… … Математическая энциклопедия
ГРУППОВОЙ ОБЪЕКТ — категории объект Xкатегории Стакой, что для любого множество морфизмов является группой, а соответствие функтором из категории Св категорию групп (Gr). Гомоморфизмом Г. о. X в Г. о. У наз. такой морфизм категории С, что для любого соответствующее … Математическая энциклопедия
СИМПЛИЦИАЛЬНЫЙ ОБЪЕКТ — категории произвольный контравариантный функтор X: (или, что то же самое, ковариантный функтор ) из категории D, объектами к рой являются упорядоченные множества [n]={0, 1, . . ., п}, , а морфизмами неубывающие отображения m: . Ковариантный… … Математическая энциклопедия
ПОСЛЕДОВАТЕЛЬНОСТЕЙ КАТЕГОРИЯ — частный случай общей конструкции категории функторов или категории диаграмм. Пусть множество целых чисел, снабженное обычным отношением порядка. Тогда можно рассматривать как малую категорию, объектами к рой являются целые числа, а морфизмами… … Математическая энциклопедия
СПЕКТР — прямой и обратный спектр в категории Прямым спектром в категории наз. семейство объектов с индексами из направленного множества и семейство морфизмов из (определенных при для к рых: Можно определить категорию … Математическая энциклопедия
ЭПИМОРФИЗМ — понятие, отражающее алгебраич. свойства сюръективных отображений множеств. Морфизм категории наз. эпиморфизмом, если из равенства следует равенство Другими словами, Э. это сократимый слева морфизм. Всякий изоморфизм является Э. Произведение двух… … Математическая энциклопедия
